Modeling of languages for tensor manipulation
نویسنده
چکیده
Numerical applications and, more recently, machine learning applications rely on high-dimensional data that is typically organized into multidimensional tensors. Many existing frameworks, libraries, and domainspecific languages support the development of efficient code for manipulating tensors and tensor expressions. However, such frameworks and languages that are used in practice often lack formal specifications. The present report formally defines a model language for expressing tensor operations. The model language is simple and yet general enough so that it captures the fundamental tensor operations common to most existing languages and frameworks. It is shown that the given formal semantics are sensible, in the sense that well-typed programs in the model language execute correctly, without error. Moreover, an alternative implementation of the model language is formally defined. The alternative implementation introduces padding into the storage of tensors, which may benefit performance on modern hardware platforms. Based on their formal definitions, the original implementation of the model language and the implementation with padding are proven equivalent. Finally, some possible extensions of the presented model language for tensor manipulation are discussed.
منابع مشابه
Evaluation of Soft Tissue Sarcoma Tumors Electrical Conductivity Anisotropy Using Diffusion Tensor Imaging for Numerical Modeling on Electroporation
Introduction: There is many ways to assessing the electrical conductivity anisotropyof a tumor. Applying the values of tissue electrical conductivity anisotropyis crucial in numerical modeling of the electric and thermal field distribution in electroporationtreatments. This study aims to calculate the tissues electrical conductivityanisotropy in patients with sarcoma tumors using diffusion tens...
متن کاملInvestigating Ideological Manipulation in Subtitling Based on Farahzad’s CDA Model: A Case Study of The Salesman
Translation plays an important role in conveying and manipulating ideologies. Accordingly, this study sought to analyze the ideological elements in the English subtitles of the Persian movie The Salesman. The framework to find the driven ideological strategies in the translation of the Persian audio of the same movie was based on the critical discourse analysis (...
متن کاملResidual norm steepest descent based iterative algorithms for Sylvester tensor equations
Consider the following consistent Sylvester tensor equation[mathscr{X}times_1 A +mathscr{X}times_2 B+mathscr{X}times_3 C=mathscr{D},]where the matrices $A,B, C$ and the tensor $mathscr{D}$ are given and $mathscr{X}$ is the unknown tensor. The current paper concerns with examining a simple and neat framework for accelerating the speed of convergence of the gradient-based iterative algorithm and ...
متن کاملThe Role of Institutional Rules in Translators’ Manipulation of Texts: The Case of Patient Information Leaflets in Iran
Since the emergence of the cultural turn in translation studies, external factors affecting translation have re- ceived attention in this field. Macro factors such as culture, politics in target contexts, history, ideological manipulation, and translators’ institutional rules have become the concern of translation studies. Consider- ing these factors, the current...
متن کاملAn Implementation Approach to Achieve Metamodel Independence in Domain Specific Model Manipulation Languages
Model Driven Engineering proposes a software development process in which the key notions are models that allow engineers to precisely capture relevant aspects of a system from a given perspective and at an appropriate level of abstraction. Then, models are manipulated with the goal of enabling the automated development of a system from its corresponding models. Unlike general-purpose modeling ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1801.08771 شماره
صفحات -
تاریخ انتشار 2018